Algebraic data type - PDFSEARCH.IO - Document Search Engine

Algebraic data type
Results: 119

#	Item
21	1 Typing deep pattern-matching in presence of polymorphic variants Jacques Garrigue† Polymorphic variants are a well-known feature of the Objective Caml programming language, and they have turned popular since their i Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:31 Software engineering Computer programming Programming language theory Type theory Data types Functional languages Functional programming Procedural programming languages Standard ML Algebraic data type Tagged union Unification
22	On variance, injectivity, and abstraction Jacques Garrigue 1 Introduction Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-08-04 23:16:28 Software engineering Type theory Object-oriented programming Computing Computer programming Data types Polymorphism Functional programming Covariance and contravariance Subtyping Generalized algebraic data type Variance
23	DSL PLATFORMS DSL SUMMER SCHOOL 2015 TIARK ROMPF, PURDUE UNIVERSITY DSL Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-01-20 12:01:38 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Functional languages Programming language implementation Generalized algebraic data type Syntax Domain-specific language Haskell
24	t-regex Matching using tree regular expressions Alejandro Serrano Mena Universiteit Utrecht Add to Reading List Source URL: wwwhome.cs.utwente.nl Language: English - Date: 2015-01-13 10:58:08 Software engineering Computer programming Declarative programming Functional programming Data types Formal languages Regular expressions Pattern matching List Cons TRE Algebraic data type
25	[Faculty of Science Information and Computing Sciences] Polymorphic Contexts FP-Dag 2015 Doaitse Swierstra Add to Reading List Source URL: wwwhome.cs.utwente.nl Language: English - Date: 2015-01-14 05:57:45 Computing Data types Software engineering Functional programming Knowledge representation Dependently typed programming Generalized algebraic data type Type theory Rm Tree
26	Patterns as Objects in Grace Michael Homer James Noble Kim B. Bruce Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2012-10-14 16:46:09 Software engineering Computer programming Computing Functional programming Object-oriented programming languages Functional languages Data types Subroutines Scala Pattern matching Algebraic data type Factory
27	Abstract Value Constructors Symbolic Constants for Standard ML William E. Aitken∗ John H. Reppy† TR Add to Reading List Source URL: people.cs.uchicago.edu Language: English - Date: 2015-10-19 12:35:07 Data types Type theory C++ Method Functional languages Standard ML C++ classes Algebraic data type Enumerated type Const Template Nullary constructor
28	Haskell Cheat Sheet Strings This cheat sheet lays out the fundamental elements of the Haskell language: syntax, keywords and other elements. It is presented as both an executable Haskell file and a printable document. Add to Reading List Source URL: cheatsheet.codeslower.com Language: English - Date: 2013-07-22 18:47:53 Type theory Functional programming Data types Subroutines Algebraic data type Pattern matching Anonymous function Monad Main function Software engineering Computing Computer programming
29	A Fourth Look At ML Chapter Eleven Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:43:58 Programming language theory Data types Algebraic data type Enumerated type Type constructor Constructor Primitive data type ALGOL 68 C++ classes Software engineering Type theory Computing
30	Combining Deep and Shallow Embedding for EDSL Josef Svenningsson and Emil Axelsson Chalmers University of Technology {josefs,emax}@chalmers.se Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-11-28 10:50:59 Data types Functional programming Type theory Higher-order functions Control flow Fold Map Generalized algebraic data type Eval Software engineering Computing Computer programming